1. Annual Symposium on Foundations of Computer Science ]papers[
پدیدآورنده: Symposium on Foundations of Computer Science
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Switching theory-- Congresses,، Machine theory-- Congresses,، Electronic data processing-- Congresses
رده :
QA
268
.
5
.
S9a
2. Computational compexity: proceedings 15th Annual IEEE Conference on Computational Complexity, July 4-7, 2000, Florence, Italy
پدیدآورنده: sponsored by IEEE Computer Society Technical Committee for Mathematical Foundations of Computing; in cooperation with ACM SIGACT, EATCS
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Computational complexity
رده :
QA
267
.
7
.
S76
2000
3. Computational complexity : proceedings : 17th IEEE Annual Conference on Computational Complexity : 21-24 May, 2002, Montreal, Canada
پدیدآورنده: Sponsored by IEEE Computer Society Techninal Committee on Mathematical Foundation of Computing; in cooperation with SIGACT...
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials,Congresses ، Logic programming
رده :
QA
267
.
7
.
I36
2002
4. Computational complexity : proceedings : 16th IEEE Conference on Computational Complexity : June 18-21, 2001, Chicago, Illinois
پدیدآورنده: sponsored by The IEEE Computer Society, Technical Committee for Mathematical Foundations of Computing; in cooperation with ACM SIGACT, EATCS
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials,Congresses ، Logic programming
رده :
QA
267
.
7
.
I36
2001
5. Computational complexity: proceedings:17th IEEE annual conference on computational complexity:21-24 may,2002,Montreal,Canada
پدیدآورنده: Sponsored by IEEE computer society technical committee on mathematical foundations of computing)TCMF(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه زنجان (زنجان)
موضوع: ، Computational complexity - Congresses,، Nonlinear boundary value problems - Congresses,، Polynomials - Congresses
رده :
QA
267
.
S76
C6
2002
6. Fifth Annual IEEE Symposium on Logic in Computer Science, Jun 4-7, 1990, Philadelphia, PA
پدیدآورنده: sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing...]et al.[
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: ، Logic programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
I56
F45
1990
7. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
پدیدآورنده: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
S9393
2001
8. Proceedings
پدیدآورنده: Symposium on Logic in Computer Science )4th: 9891: Asilomar Conference Center, Pacific Grove, California(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Electronic data processing- Mathematics- Congresses,، Logic, Symbolic and mathematical- Congresses
رده :
QA
76
.
9
.
M35
S94
1989
9. Proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Computational complexity
رده :
QA
267
.
7
.
S76
10. Proceedings : Fifth Annual Structure in Complexity Theory Conference, July 8-11, 1990, Universitat Politecnica de Catalunya, Barcelona, Spain
پدیدآورنده: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, Universitat Politecnica de Catalunya, Northeastern University
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Congresses ، Computational complexity
رده :
QA
267
.
7
.
S75
1990
11. Proceedings : Sixt annual IEEE Symposium on Logic in Computer Sience, July 15-18, 1991, Amsterdam, the Netherland
پدیدآورنده: sponsored by IEEE Technical Committee on Mathematical Foundations of Computing
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Congresses ، Logic programming,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
I5
1991
12. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
پدیدآورنده: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
رده :
QA
76
.
9
.
M35
S94
1994
13. Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Jun 28-July 1, 1994, Amsterdam, The Netherlands
پدیدآورنده: sponsored by IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computational complexity - Congresses
رده :
QA
267
.
7
.
S75
1994
14. Proceedings of the Sixth Annual Structure in Complexity Theory Conference, June 30-July 3, 1991, University of Chicago, Chicago, Illinois
پدیدآورنده: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing )and( University of Chicago, in cooperation with ACM SIGACT )and( EATCS
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Congresses ، Computational complexity
رده :
QA
267
.
7
.
S75
1991
15. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
پدیدآورنده: / Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...[et al.]
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computer science -- Mathematics -- Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
76
.
9
.
M35
S94
2004
16. Proceedings, structure in complexity theory: fourth annual conference, June 19-22, 1989, University of Oregon, Eugene, Oregon
پدیدآورنده: Sponsored by Computer Society Technical Committee on Mathematical Foundations of Computing
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Computational complexity -- Congresses
رده :
QA
267
.
P757
1989
17. Proceedings 15th Annual IEEE conferene computational complexity, July 4-7, 2000, Florence, Italy
پدیدآورنده: sponsored by IEEE Computer Society Technical Commitee for Mathematical Foundations of Computing; in cooperation with ACM SIGACT EATCS
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials
رده :
QA
267
.
7
.
S77
2000
18. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
پدیدآورنده: sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
I38
2000
